2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VLlHCC) Blocks, Text, and the Space Between The Role of Representations in Novice Programming Environments David Weintrop

Source URL: ccl.northwestern.edu

• Software engineering
• Software
• Computer programming
• Visual programming languages
• Scratch
• Programming language
• Educational technology
• Snap!
• Go
• Outline of computer programming

A Simple and General Theoretical Account for Abstract Types Hongwei Xi Boston University

Source URL: www.cs.bu.edu

• Software engineering
• Computer programming
• Declarative programming
• Type theory
• Functional programming
• Procedural programming languages
• Data types
• Object-oriented programming
• Monad
• ALGOL 68
• Polymorphism
• Abstract type

FoCaLiZe! Programming and Proving! A Bit Under the Hood François Pessaux - ENSTA ParisTech (U2IS)

Source URL: www.cri.ensmp.fr

• Software engineering
• Computer programming
• Programming language theory
• Functional languages
• Functional programming
• Procedural programming languages
• Mathematical proof
• Coq
• OCaml
• Natural deduction
• Mathematical logic
• ALGOL 68

Speaking for the Trees: a New (Old) Approach to Languages and Syntax by Moss Prescott B.A., University of California Berkeley, 2004

Source URL: ecee.colorado.edu

• Computing
• Software engineering
• Syntax
• Computer programming
• Compiler construction
• Parsing
• Formal languages
• Source code
• Parse tree
• Abstract syntax tree
• Abstract syntax
• S-expression

WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code Julia L. Lawall,1 Julien Brunel,1∗ Nicolas Palix,1 Ren´e Rydhof Hansen,2 Henrik Stuart,1 Gilles Muller3 1 DIKU, University of Copenhagen,

Source URL: coccinelle.lip6.fr

• Computing
• Software engineering
• Computer programming
• Data types
• Object-oriented programming languages
• Memory management
• C++
• Scripting languages
• Null
• Coccinelle
• Pointer
• Application programming interface

Using Praat for research in Speech Sciences: Programming fundamentals, methods and good practices for production and perception studies 6th, 7th and 8th of July, 2016

Source URL: www.mauriciofigueroa.cl

About Shawn H Corey Working as a contractor has given Shawn years of experience in various types of programming. His experience enables him to develop state-of-the-art programs that are both comprehensive and functional.

Source URL: web.ncf.ca

• Software engineering
• Software
• Computer programming
• Perl
• Cross-platform software
• High-level programming languages
• Scripting languages
• CPAN
• Adam Kennedy

MIPS Assembly Language Programmer’s Guide ASM-01-DOC Your comments on our products and publications

Source URL: www.tik.ee.ethz.ch

• Computer architecture
• Computing
• Computer engineering
• Central processing unit
• Instruction set architectures
• Assembly languages
• Programming language implementation
• Reduced instruction set computing
• IBM Basic assembly language and successors
• Processor register
• Instruction set
• Coprocessor

The Influence of Software Module Systems on Modular Verification
Harry Li , Kathi Fisler and Shriram Krishnamurthi 

Source URL: web.cs.wpi.edu

• Hardware verification languages
• E
• Component-based software engineering
• Model checking
• Modularity
• Modular programming
• Aspect-oriented software development
• Formal verification

 Towards Deeper Understanding of Syntactic Concepts in Programming Sebastian Gross, Sven Strickroth, Niels Pinkwart, and Nguyen-Thinh Le Clausthal University of Technology, Department of Informatics

Source URL: ceur-ws.org

• Educational psychology
• Compiler construction
• Artificial intelligence
• Programming languages
• Educational technology
• Intelligent tutoring system
• Cognitive tutor
• Syntax
• AutoTutor
• Compiler
• ALGOL 68
• Exception handling